Randomized Communication Complexity of Approximating Kolmogorov Complexity
نویسنده
چکیده
The paper [Harry Buhrman, Michal Koucký, Nikolay Vereshchagin. Randomized Individual Communication Complexity. IEEE Conference on Computational Complexity 2008: 321-331] considered communication complexity of the following problem. Alice has a binary string x and Bob a binary string y, both of length n, and they want to compute or approximate Kolmogorov complexity C(x|y) of x conditional to y. It is easy to show that deterministic communication complexity of approximating C(x|y) with precision α is at least n − 2α − O(1). The above referenced paper asks what is randomized communication complexity of this problem and shows that for rround randomized protocols its communication complexity is at least Ω((n/α)1/r). In this paper, for some positive ε, we show the lower bound 0.99n for (worst case) communication length of any randomized protocol that with probability at least 0.01 approximates C(x|y) with precision εn for all input pairs.
منابع مشابه
The pervasive reach of resource-bounded Kolmogorov complexity in computational complexity theory
We continue an investigation into resource-bounded Kolmogorov complexity [ABK06], which highlights the close connections between circuit complexity and Levin’s time-bounded Kolmogorov complexity measure Kt (and other measures with a similar flavor), and also exploits derandomization techniques to provide new insights regarding Kolmogorov complexity. The Kolmogorov measures that have been introd...
متن کاملLower Bounds Using Kolmogorov Complexity
In this paper, we survey a few recent applications of Kolmogorov complexity to lower bounds in several models of computation. We consider KI complexity of Boolean functions, which gives the complexity of finding a bit where inputs differ, for pairs of inputs that map to different function values. This measure and variants thereof were shown to imply lower bounds for quantum and randomized decis...
متن کاملApproximability and Nonapproximability by Binary Decision Diagrams
The usual applications of BDDs (binary decision diagrams), e. g., in verification and for CAD problems, require an exact representation of the considered boolean functions. However, if BDDs are used for learning boolean functions f on the basis of classified examples (e. g., in the environment of genetic programming), it is sufficient to produce the representation of a function g approximating ...
متن کاملIs Randomness native to Computer Science? Ten Years Later
2 What we have learned? A personal pick 4 2.1 From randomness to complexity . . . . . . . . . . . . . . . . . . . . . 4 2.2 Formalization of randomness: infinite strings . . . . . . . . . . . . . 5 2.3 Random versus lawless . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.4 Randomness and finite strings: incompressibility . . . . . . . . . . . 7 2.5 Representation and Kolmogorov complexi...
متن کاملLecture Notes on Evasiveness of Graph Properties
These notes cover the first eight lectures of the class Many Models of Complexity taught by László Lovász at Princeton University in the Fall of 1990. The first eight lectures were on evasiveness of graph properties and related topics; subsequent lectures were on communication complexity and Kolmogorov complexity and are covered in other sets of notes. The fundamental question considered in the...
متن کامل